Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 2 of 2 (0.002 secs)
You searched for: subject:"logical form"
[texts]Remarks on the Status of Inference in the Area of Knowledge Representation - Christopher Habel
The concept of inferenceĀ is one of the global concepts used for the explanation of cognitive processes. There exist mainly two types of characterisation: the logical and the psychological. These different characterisations are based on the difference between inference and rule of inference. Information processing systems can be formalised as inferential systems, i.e. systems with inferential processes...
Keywords: proposition; logical form; inference; time restriction
Downloads: 17
[texts]mit :: ai :: aim :: AITR-483
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-483
Keywords: quantifier; scope; logical; embedding; skolem; lexical; predicate; nps; form; surface; surface structure; logical forms; quantifier scope; relative clause; logical form; formal semantics; surface order; predicate calculus; skolem form; typed skolem
Downloads: 24
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related creators

Christopher Habel

Related mediatypes

texts